搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Bioinformatics for Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers 0 索取号：作者：Freitas、 Ana T.、Navarro、 Arcadi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Parameterized and Exact Computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbr眉cken, Germany, September 6-8, 2011. Revised Selected Papers 0 索取号：作者：Marx、 D谩niel.、Rossmanith、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers 0 索取号：作者：Harth、 Andreas.、Koch、 Nora.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Classical Field Theory [electronic resource] : On Electrodynamics, Non-Abelian Gauge Theories and Gravitation 0 索取号：作者：Scheck、 Florian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings 0 索取号：作者：Russo、 Claudio.、Zhou、 Neng-Fa.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, 艩pindler暖v Ml媒n, Czech Republic, January 21-27, 2012. Proceedings 0 索取号：作者：Bielikov谩、 M谩ria.、Friedrich、 Gerhard.、Gottlob、 Georg.、Katzenbeisser、 Stefan.、Tur谩n、 Gy枚rgy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Fuzzy Semirings with Applications to Automata Theory [electronic resource] 0 索取号：作者：Ahsan、 Javed.、Mordeson、 John N.、Shabir、 Muhammad.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II 0 索取号：作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I 0 索取号：作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Advances in Autonomous Mini Robots [electronic resource] : Proceedings of the 6-th AMiRE Symposium 0 索取号：作者：R眉ckert、 Ulrich.、Joaquin、 Sitte.、Felix、 Werner.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbr眉cken, Germany, March 31 - April 1, 2011, Revised Selected Papers 0 索取号：作者：M枚dersheim、 Sebastian.、Palamidessi、 Catuscia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Renormalization Group and Effective Field Theory Approaches to Many-Body Systems [electronic resource] 0 索取号：作者：Schwenk、 Achim.、Polonyi、 Janos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Database Theory and Application, Bio-Science and Bio-Technology [electronic resource] : International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Cuzzocrea、 Alfredo.、Arslan、 Tughrul.、Zhang、 Yanchun.、Ma、 Jianhua.、Chung、 Kyo-il.、Mariyam、 Siti.、Song、 Xiaofeng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Incomplete Information System and Rough Set Theory [electronic resource] : Models and Attribute Reductions 0 索取号：作者：Yang、 Xibei.、Yang、 Jingyu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Advances in Spatial Data Handling and GIS [electronic resource] : 14th International Symposium on Spatial Data Handling 0 索取号：作者：Yeh、 Anthony G.O.、Shi、 Wenzhong.、Leung、 Yee.、Zhou、 Chenghu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Graph Drawing [electronic resource] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers 0 索取号：作者：Kreveld、 Marc.、Speckmann、 Bettina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

	Bioinformatics for Personalized Medicine [electronic resource] : 10th Spanish Symposium, JBI 2010, Torremolinos, Spain, October 27-29, 2010. Revised Selected Papers 0 索取号：作者：Freitas、 Ana T.、Navarro、 Arcadi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Parameterized and Exact Computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbr眉cken, Germany, September 6-8, 2011. Revised Selected Papers 0 索取号：作者：Marx、 D谩niel.、Rossmanith、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers 0 索取号：作者：Harth、 Andreas.、Koch、 Nora.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Classical Field Theory [electronic resource] : On Electrodynamics, Non-Abelian Gauge Theories and Gravitation 0 索取号：作者：Scheck、 Florian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Practical Aspects of Declarative Languages [electronic resource] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings 0 索取号：作者：Russo、 Claudio.、Zhou、 Neng-Fa.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, 艩pindler暖v Ml媒n, Czech Republic, January 21-27, 2012. Proceedings 0 索取号：作者：Bielikov谩、 M谩ria.、Friedrich、 Gerhard.、Gottlob、 Georg.、Katzenbeisser、 Stefan.、Tur谩n、 Gy枚rgy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Fuzzy Semirings with Applications to Automata Theory [electronic resource] 0 索取号：作者：Ahsan、 Javed.、Mordeson、 John N.、Shabir、 Muhammad.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II 0 索取号：作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I 0 索取号：作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Advances in Autonomous Mini Robots [electronic resource] : Proceedings of the 6-th AMiRE Symposium 0 索取号：作者：R眉ckert、 Ulrich.、Joaquin、 Sitte.、Felix、 Werner.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Theory of Security and Applications [electronic resource] : Joint Workshop, TOSCA 2011, Saarbr眉cken, Germany, March 31 - April 1, 2011, Revised Selected Papers 0 索取号：作者：M枚dersheim、 Sebastian.、Palamidessi、 Catuscia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Renormalization Group and Effective Field Theory Approaches to Many-Body Systems [electronic resource] 0 索取号：作者：Schwenk、 Achim.、Polonyi、 Janos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Database Theory and Application, Bio-Science and Bio-Technology [electronic resource] : International Conferences, DTA and BSBT 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2001 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings 0 索取号：作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Cuzzocrea、 Alfredo.、Arslan、 Tughrul.、Zhang、 Yanchun.、Ma、 Jianhua.、Chung、 Kyo-il.、Mariyam、 Siti.、Song、 Xiaofeng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Incomplete Information System and Rough Set Theory [electronic resource] : Models and Attribute Reductions 0 索取号：作者：Yang、 Xibei.、Yang、 Jingyu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Advances in Spatial Data Handling and GIS [electronic resource] : 14th International Symposium on Spatial Data Handling 0 索取号：作者：Yeh、 Anthony G.O.、Shi、 Wenzhong.、Leung、 Yee.、Zhou、 Chenghu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Graph Drawing [electronic resource] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers 0 索取号：作者：Kreveld、 Marc.、Speckmann、 Bettina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.